

(and (ext-numbers)
     (ext-numbers 1)
     (ext-numbers 1 2 3 4 5)
     (ext-numbers 1u)
     (ext-numbers 1u 2)
     (ext-numbers 0.0)
     (ext-numbers 0.0 1.0 0.5))
     

